<?php

    $data = 000000000870726;
    echo is_int($data) . "\n";

?>
